<html>
<head><meta charset="utf-8"><title>draft next steps · t-lang/project-never-type · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/259160-t-lang/project-never-type/index.html">t-lang/project-never-type</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/259160-t-lang/project-never-type/topic/draft.20next.20steps.html">draft next steps</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="232799072"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/259160-t-lang/project-never-type/topic/draft%20next%20steps/near/232799072" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jeremiah Senkpiel <a href="https://rust-lang.github.io/zulip_archive/stream/259160-t-lang/project-never-type/topic/draft.20next.20steps.html#232799072">(Apr 01 2021 at 18:02)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116122">simulacrum</span> <a href="#narrow/stream/213817-t-lang/topic/never.20type/near/232454642">said</a>:</p>
<blockquote>
<p><a href="https://hackmd.io/KiXlJ-m5Sz6Rs7F9JadNqg?edit">https://hackmd.io/KiXlJ-m5Sz6Rs7F9JadNqg?edit</a> is my latest draft -- just written up -- of a possible summary / next steps issue for never type; I expect to iterate a bit more and likely file that as a T-lang design meeting proposal so we can discuss it, though possibly not this next round. I'd like to find some time to implement the hybrid 2 proposed there and make sure it addresses the breakage as expected.</p>
</blockquote>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>